Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S

This paper proposes a domain-oriented software process re-engineering method that allows for e cient software process modeling and cuts overall software development cost. This is achieved by use of a software synthesis shell that supports the development of program generators from input speci cation syntax and rewrite rules. Application of the proposed method to the development of a large scale \chain store management system" resulted in the development of a speci cation checker, two program generators, a speci cation document generator, and a test data generator. The overall development cost, including re-engineering cost, for this store management system has been reduced by 164 man-months.